void handle_interrupt(isr_stack state);
void reset_pic(int interrupt_number);
void kernel_panic(isr_stack state);
void exit(int error_code);
void sleep(int milliseconds);
int force_exception();

extern void externalSignal(int n);
extern void start_interrupts();
extern void stop_interrupts();
extern void halt_cpu();
